Added dev-docs target, which passes through to the docs Makefile.

diff --git a/Makefile b/Makefile
index 3b50ec6436790ea3b0299079aeb23cc09931940a..498be57835af48904ba6105be7c872221058ea75 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -35,8 +35,8 @@ ifeq ($(XEN_TARGET_X86_PAE),y)
 export pae=y
 endif
 
-.PHONY:        all dist install xen kernels tools docs world clean mkpatches mrproper
-.PHONY:        kbuild kdelete kclean
+.PHONY:        all dist install xen kernels tools dev-docs docs world clean
+.PHONY:        mkpatches mrproper kbuild kdelete kclean
 
 # build and install everything into the standard system directories
 install: install-xen install-kernels install-tools install-docs
@@ -66,6 +66,9 @@ kernels:
 docs:
        sh ./docs/check_pkgs && $(MAKE) -C docs install || true
 
+dev-docs:
+       $(MAKE) -C docs dev-docs
+
 # Build all the various kernels and modules
 kbuild: kernels